q:0:0:L:q0
q:1:0:L:q1
q:b:0:L:qf
q0:0:0:L:q0
q0:1:0:L:q1
q0:b:0:L:qf
q1:0:1:L:q0
q1:1:1:L:q1
q1:b:1:L:qf
qf

